<?php
echo readline();